961. Theory and problems of discrete mathematics
المؤلف: Seymour Lipschutz, Marc Lipson
المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع: ، Algebra, Abstract Outlines, syllabi, etc,، Combinatorial analysis Outlines, syllabi, etc,، Discrete mathematics,، Logic, Symbolic and mathematical Outlines, syllabi, etc
رده :
QA
162
.
L56
2007
962. Theory of Finite and Infinite Graphs
المؤلف: by Dénes König.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Combinatorics.,Logic, Symbolic and mathematical.,Mathematics.
963. Theory of formal systems /
المؤلف: R.M. Smullyan.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Mathematics.,Recursive functions.,Logic, Symbolic and mathematical.,Mathematics.,Recursive functions.,SCIENCE-- System Theory.
رده :
QA248
.
5
964. Thirty Five Years of Automating Mathematics.
المؤلف: Dov M Gabbay
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.
965. Thirty years of foundational studies; lectures on the development of mathematical logic and the study of the foundations of mathematics in 1930-1964
المؤلف: Mostowski, Andrzej
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy
رده :
B
28
.
F5
.
A3
Fasc
.
17
966. Three views of logic
المؤلف: Donald W. Loveland, Richard E. Hodel, S.G. Sterrett
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic,Logic, Symbolic and mathematical
967. Title in the Rossian
المؤلف: Heyting
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Logic, Symbolic and mathematical,Mathematics-- Methodology
رده :
QA
9
.
H417
968. Toposes, Algebraic geometry and logic
المؤلف: ]by[ I.Bucur ]and others[ edited by F.W.Lawvere
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Categories )Mathematics(,Congresses ، Nosa Detected Damaged Record #4254,Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
274
969. Toposes, algebraic geometry and logic
المؤلف: ]by[ I. Bucur... ]et al.[ ; Edited by F. W. Lawvere
المکتبة: (طهران)
موضوع: Congresses ، Categories )Mathematics(,Congresses ، Geometry, Algebraic,Congresses ، Logic, Symbolic and mathematical,، Toposes
رده :
QA
169
.
T6
1972
970. Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971
المؤلف: I. Bucur ... ]et al.[; edited by F. W. Lawvere
المکتبة: (طهران)
موضوع: Congresses ، Categories )Mathematics(,Congresses ، Geometry, Algebraic,Congresses ، Logic, Symbolic and mathematical,Congresses ، Toposes
رده :
QA
3
.
L28
Vol
.
274
971. Toward "Principia mathematica", 1905-08 /
المؤلف: Bertrand Russell ; edited by Gregory H. Moore.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Whitehead, Alfred North,1861-1947., Principia mathematica.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Filosofie.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Wiskunde.
رده :
B1649
.
R91
1983
972. Towards Mathematical Philosophy
المؤلف: \ David Makinson, Jacek Malinowski, Heinrich Wansing Editors
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical -- Congresses. ,Mathematics -- Philosophy -- Congresses. ,منطق ریاضی -- کنگره‌ها ,ریاضیات -- فلسفه -- کنگره ها
رده :
E-Book
,
973. Towards an arithmetical logic :
المؤلف: by Yvon Gauthier
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical,Mathematics-- Philosophy
رده :
QA1-939
974. Towards an arithmetical logic :
المؤلف: Yvon Gauthier
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical,Mathematics-- Philosophy
975. Towards mathematical philosophy
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic and mathematical ; Congresses. ; Mathematics ; Philosophy ; Congresses. ;
976. Towards mathematical philosophy
المؤلف: / edited by David Makinson, Jacek Malinowski, Heinrich Wansing
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic, Symbolic and mathematical--Congresses,Mathematics--Philosophy--Congresses
رده :
QA
,
9
,.
A1
,
T68
,
2008
977. Towards mathematical philosophy : papers from the studia logica conference Trends in logic IV
المؤلف: edited by David Makinson, Jacek Malinowski, Heinrich Wansing
المکتبة: (طهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy
رده :
QA
9
.
A1S78
2006
978. Towards mathematical philosophy: papers from the studia logica conference trends in logic IV
المؤلف: Makinson, David.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy
رده :
QA
9
.
A1
.
M235
2009
979. Towards mathematical philosophypapers from the Studia Logica Conference Trends in Logic IV
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy
رده :
QA
9
.
S88
2008
980. Tracking reason :
المؤلف: / Jody Azzouni
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Proof theory,Logic, Symbolic and mathematical
رده :
E-BOOK
